Eléments de l'association

	Occitanie (région administrative)	150
	François Schwarzentruber	8
	Occitanie (région administrative) *Sauf* François Schwarzentruber"	146
	François Schwarzentruber *Sauf* Occitanie (région administrative)"	4
	Occitanie (région administrative) Et François Schwarzentruber	4
	Occitanie (région administrative) Ou François Schwarzentruber	154
	*Corpus*	24195

List of bibliographic references

Number of relevant bibliographic references: 4.

Ident.	Authors (with country if any)	Title
001542	Hans Van Ditmarsch [France] ; Andreas Herzig [France] ; Emiliano Lorini [France] ; François Schwarzentruber [France]	Listen to Me! Public Announcements to Agents That Pay Attention — or Not
002638	Olivier Gasquet [France] ; François Schwarzentruber [France] ; Martin Strecker [France]	Satoulouse : The Computational Power of Propositional Logic Shown to Beginners
002655	Olivier Gasquet [France] ; François Schwarzentruber [France] ; Martin Strecker [France]	Panda : A Proof Assistant in Natural Deduction for All. A Gentzen Style Proof Assistant for Undergraduate Students
002730	Olivier Gasquet [France] ; François Schwarzentruber [France]	Concrete Epistemic Modal Logic: Flatland

Wicri

This area was generated with Dilib version V0.6.33.
Data generation: Mon Jun 10 21:56:28 2019. Site generation: Fri Feb 25 15:29:27 2022